-- MAIN == 0
DEF MAIN:bool == or(false,false)
